$\forall$$l$:IdLnk, ${\it tg}$:Id, $L$:(Knd List). only $L$ sends on ($l$ with ${\it tg}$) $\in$ MsgA